28.
Using Event-B for Critical Device Software Systems
by Glover, Keith
ISBN: 9781981128860
List Price: $48.55
29.
Money, Banking, and the Future of the Global Economy
by Glover, Keith
ISBN: 9781981128846
List Price: $16.55